and Logic

Results: 11835



#Item
251

Which Quantifiers are Logical? A combined semantical and inferential criterion Solomon Feferman1 Abstract. The aim of logic is to characterize the forms of reasoning that lead invariably from true sentences to true sente

Add to Reading List

Source URL: math.stanford.edu

- Date: 2013-01-17 14:25:46
    252

    ESI Workshop on Large Cardinals and Descriptive Set Theory Vienna, June 14–27, 2009 Organized by the Erwin Schr¨ odinger Institute (ESI) and financed by the ESI and Austrian

    Add to Reading List

    Source URL: www.logic.univie.ac.at

    - Date: 2010-12-15 22:37:11
      253

      Some Non-Classical Methods in (Epistemic) Modal Logic and Games: A Proposal Can BAS ¸ KENT The Graduate Center of the City University of New York

      Add to Reading List

      Source URL: canbaskent.net

      - Date: 2014-03-06 23:52:50
        254

        Introduction EXPLORATION AND SACRIFICE: THE CULTURAL LOGIC OF ARCTIC DISCOVERY Russell A. POTTER Reprinted from The Quest for the Northwest Passage: British Narratives of Arctic

        Add to Reading List

        Source URL: www.ric.edu

        - Date: 2016-06-23 12:42:59
          255

          Evaluation Logic Model and Methodology of Chinese Academy of Sciences in Knowledge Innovation Program Xiaoxuan LI1, Bing SHI2, Tao DAI1, Jianzhong ZHOU1, Xiaoyang XU1 1 Institute of Policy and Management, Chinese Academy

          Add to Reading List

          Source URL: higherlogicdownload.s3.amazonaws.com

          - Date: 2012-09-30 20:31:56
            256

            A Computational Grammar and Lexicon for Maltese Master of Science Thesis in the programme: Computer Science — Algorithms, Languages and Logic J J. C

            Add to Reading List

            Source URL: academic.johnjcamilleri.com

            - Date: 2014-04-23 15:38:23
              257

              A Matter of Principles: Towards the Largest DLP Possible⋆ Markus Krötzsch and Sebastian Rudolph Institut AIFB, Universität Karlsruhe, DE Abstract. Description Logic Programs (DLP) have been described as a descriptio

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2009-07-07 04:46:34
                258

                Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, An Algebraic Approach to Dynamic Epistemic Logic Prakash Panangaden1 , Caitlin Phillips1 , Doina Precup1 , and Mehrnoosh Sadr

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2010-04-20 14:40:19
                  259

                  An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation Fabrizio Riguzzi1 and Terrance Swift2 1 2

                  Add to Reading List

                  Source URL: pdfs.semanticscholar.org

                  - Date: 2015-07-28 19:18:34
                    260

                    Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2009-07-07 04:46:34
                      UPDATE